Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
- Författare
- (Edited by Deepak D'Souza, K. Narayan Kumar.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2017 | Tyskland, Cham | XIX, 482 sidor. 106 illus. online resource. | 978-3-319-68167-2 |